covariantly finite subcategories

英 美
  • 正变有限子范畴